<a href="manual.html">manual.html</a><br>
<a href="manual_full.html">manual_full.html</a><br>